برهان شرط بندی

شرط بندی پاسکال و اِشکال خدایان متعدد

یکی از استدلال‌هایی که برای دفاع از معقولیت باور به گزارة «خدا وجود دارد» به‌کار می‌رود استدلال شرط‌بندی پاسکال است. یکی از مهم‌ترین اشکالات به این استدلال، «اشکال خدایان متعدد» نام دارد. در این مقاله ابتدا یکی از رایج‌ترین تقریرهای شرط­بندی پاسکال به نام «سود مورد انتظار برتر» را ارائه می‌کنیم و سپس به شرح دو نسخه از اشکال خدایان متعدد می‌پردازیم. نسخة اول نسخة امکانی و نسخة دوم نسخة واقعی نام...

صورت بندی در نظریه ی ساختاری برهان

هدف اصلی این پژوهش آنست که با فراهم آوردن ابزارها و تکنیک هایی به همراه تعدادی از مثال ها، بتواند در اثبات هایی که دارای جزئیات نحوی طولانی هستند، رهیافت هایی را برای رفع پذیری و کاهش طول برهان در حساب رشته ها ارائه نماید. همچنین تلاش می شود تعدادی از روش های بازگشتی در منطق های gl را با کمک قضایای درونیابی و رفع پذیری و ادغام، صورت بندی مناسب مجدد گردد. لذا پژوهش در این مسئله از اهمیت اساسی بر...

شرط بندی پاسکال و اِشکال خدایان متعدد

یکی از استدلال هایی که برای دفاع از معقولیت باور به گزاره «خدا وجود دارد» به کار می رود استدلال شرط بندی پاسکال است. یکی از مهم ترین اشکالات به این استدلال، «اشکال خدایان متعدد» نام دارد. در این مقاله ابتدا یکی از رایج ترین تقریرهای شرط­بندی پاسکال به نام «سود مورد انتظار برتر» را ارائه می کنیم و سپس به شرح دو نسخه از اشکال خدایان متعدد می پردازیم. نسخه اول نسخه امکانی و نسخه دوم نسخه واقعی نام...

پهنه بندی احتمال شرطی حالات بارش به شرط حالات دمایی در ایران زمین

وجود واقعیت ها و رویدادهای تصادفی اقلیمی زمینه کاربرد « دانشِ احتمال» را در اقلیم شناسی مهیا کرده است. به طوری که بسیاری از واقعیت های اقلیمی با به کارگیری ابزارها و تکنیک های احتمالاتی قابلیت توجیه و تفسیر بهتری دارد. کاربرد نظریه احتمال در اقلیم شناسی رفتار بسیاری از پدیده های اقلیمی به ظاهر غیر قطعی را به شکل قانون مند ارائه و به تصمیم گیری مدیران و آینده نگری برنامه ریزان کمک می کند. یکی از ...

برهان فرجه

برهان صدیقین

با آن‌که استدلال‌ وجودی آنسلم و دکارت همواره منشأ بحث و جدل در میان فیلسوفان و الهی‌دانان غرب بوده، به استدلال وجودی‌ای که نخست از سوی ابن‌سینا (370- 429 ه‍.ق) صورت‌بندی شد و پس از وی بسیاری از فیلسوفان مسلمان در طول قرن‌های متمادی تا عصر حاضر، تدوین‌های دوباره‌ای از آن ارائه کردند، توجه چندانی نشده است. در این مقاله، بر حسب ترتیب تاریخی، تقریرهای گوناگونی از آن را ارائه کرده، به برخی از مهم‌تر...